문서의 임의 삭제는 제재 대상으로, 문서를 삭제하려면 삭제 토론을 진행해야 합니다. 문서 보기문서 삭제토론 불완전성 정리 (문단 편집) == 개요 == || {{{#!wiki style="margin: -5px -10px" [youtube(oippSXvxUlw)]}}}|| || [[Veritasium]]의 설명. 섬네일의 {{{!=}}}는 프로그래밍 등에서 ≠를 대체하는 표기중 하나다. || {{{+1 [[不]][[完]][[全]][[性]] [[定]][[理]] / incompleteness theorems}}} 모순이 없는 수학 체계에는 반드시 증명할 수 없는 명제가 있다는 정리이다. [[쿠르트 괴델]]이 [[1931년]]에 발표했다. [[19세기]] [[해석학(수학)]]의 발달 및 [[비유클리드 기하학]]의 본격적인 등장으로 촉발된 '''수학 기초론'''의 대표적인 성과로서, 현대 [[논리학]]의 토대인 동시에 [[20세기]] [[수학]] 및 [[철학]], [[컴퓨터과학]] 등 많은 분야에 큰 영향을 미쳤다. 참고로, 이 정리에 자극 받은 [[앨런 튜링]]이 본인 방식으로 곧이어 논문을 썼었고, 그 논문에 [[튜링 머신]]이란 개념이 등장하게 된다. 다른 학문에서의 결정 불가능성 개념으로 [[베르너 하이젠베르크]]가 발견한 [[물리학]]의 [[불확정성 원리]], [[컴퓨터과학]]에서 [[앨런 튜링]]이 증명한 [[정지 문제]], [[케네스 애로우]]가 증명한 [[경제학]]의 [[불가능성 정리]], [[언어철학]]에서 [[뢰벤하임-스콜렘 정리]]의 함의를 이어 [[콰인]]이 제시한 번역 불확정성 논제[* 어떤 두 언어가 주어졌을 때 한 언어에서의 일반적인 표현을 다른 언어로 올바르게 번역되었는지를 판정하는 일반적인 방법은 존재하지 않는다는 논제.], 그리고 [[수리논리학]]에서 타르스키가 증명한 타르스키의 정의 불가능성 정리가 있다. 참고로, 쿠르트 괴델 본인이 [[1929년]]에 증명한 [[완전성 정리]]와 혼동하지 말 것.저장 버튼을 클릭하면 당신이 기여한 내용을 CC-BY-NC-SA 2.0 KR으로 배포하고,기여한 문서에 대한 하이퍼링크나 URL을 이용하여 저작자 표시를 하는 것으로 충분하다는 데 동의하는 것입니다.이 동의는 철회할 수 없습니다.캡챠저장미리보기